G.D. Hartonas: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics

Hartonas, Chrysafis

Journal:

Logica Universalis

Year:

2018

Language:

english

File:

PDF, 678 KB

english, 2018

2

First-order frames for orthomodular quantum logic

Hartonas, Chrysafis

Journal:

Journal of Applied Non-Classical Logics

Year:

2016

Language:

english

File:

PDF, 1.20 MB

english, 2016

3

Full Abstractness for a Functional/Concurrent Language with Higher-Order Value-Passing

Chrysafis Hartonas, Matthew Hennessy

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 767 KB

english, 1998

4

Fracture of the humerus in a shotput athlete

G.D. Hartonas, D.J. Verettas

Journal:

Year:

1987

Language:

english

File:

PDF, 1.39 MB

english, 1987

5

On the Dynamic Logic of Agency and Action

Chrysafis Hartonas

Journal:

Year:

2014

Language:

english

File:

PDF, 513 KB

english, 2014

6

On the Logic of Information Flow

BARWISE, J., GABBAY, D., HARTONAS, C.

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 2.97 MB

english, 1995

7

Reasoning about types of action and agent capabilities

Journal:

Logic Journal of IGPL

Year:

2013

Language:

english

File:

PDF, 394 KB

english, 2013

8

Order-dual relational semantics for non-distributive propositional logics

Hartonas, Chrysafis

Journal:

Logic Journal of IGPL

Year:

2016

Language:

english

File:

PDF, 578 KB

english, 2016

9

Lattice logic as a fragment of (2-sorted) residuated modal logic

Hartonas, Chrysafis

Journal:

Journal of Applied Non-Classical Logics

Year:

2018

Language:

english

File:

PDF, 1.65 MB

english, 2018

10

Verification of a safety-critical railway interlocking system with real-time constraints

Vicky Hartonas-Garmhausen, Sergio Campos, Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia

Journal:

Science of Computer Programming

Year:

2000

Language:

english

File:

PDF, 157 KB

english, 2000

11

Semantics for finite delay

Chrysafis Hartonas

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 1.92 MB

english, 1997

12

A fixpoint approach to finite delay and fairness

Chrysafis Hartonas

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 1.86 MB

english, 1998

13

Duality for modal μ-logics

Chrysafis Hartonas

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 2.24 MB

english, 1998

14

On the Semantic Foundations of Probabilistic Synchronous Reactive Programs

Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-Garmhausen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 2.06 MB

english, 1999

15

Stone duality for lattices

C. Hartonas, J.M. Dunn

Journal:

Algebra Universalis

Year:

1997

Language:

english

File:

PDF, 174 KB

english, 1997

16

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

Chrysafis Hartonas

Journal:

Year:

1997

Language:

english

File:

PDF, 548 KB

english, 1997

17

[IEEE Comput. Soc 28th International Symposium on Fault Tolerant Computing - Munich, Germany (23-25 June 1998)] Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224) - Verification of a safety-critical railway interlocking system with real-time constraints

Hartonas-Garmhausen, V., Campos, S., Cimatti, A., Clarke, E., Giunchiglia, F.

Year:

1998

Language:

english

File:

PDF, 33 KB

english, 1998

18

[IEEE 2008 Eighth IEEE International Conference on Advanced Learning Technologies - Santander, Cantabria, Spain (2008.07.1-2008.07.5)] 2008 Eighth IEEE International Conference on Advanced Learning Technologies - Learning Objects and Learning Services in the Semantic Web

Hartonas, Chrysafis, Gana, Eleni

Year:

2008

Language:

english

File:

PDF, 216 KB

english, 2008

19

[IEEE Comput. Soc. Press 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques - Boca Raton, FL, USA (5-8 April 1995)] Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques - Automatic verification of industrial designs

Hartonas-Garmhausen, V., Kurfess, T., Clarke, E.M., Long, D.

Year:

1995

Language:

english

File:

PDF, 812 KB

english, 1995

20

Pretopology semantics for bimodal intuitionistic linear logic

Journal:

Logic Journal of IGPL

Year:

1997

Language:

english

File:

PDF, 251 KB

english, 1997

21

[ACM Press the 1991 ACM/IEEE conference - Albuquerque, New Mexico, United States (1991.11.18-1991.11.22)] Proceedings of the 1991 ACM/IEEE conference on Supercomputing - Supercomputing '91 - Distributing the comparison of DNA and protein sequences across heterogeneous supercomputers

Nicholas, Hugh, Giras, Grace, Hartonas-Garmhausen, Vasiliki, Kopko, Michael, Maher, Christopher, Ropelewski, Alexander

Year:

1991

Language:

english

File:

PDF, 707 KB

english, 1991

22

Modal and temporal extensions of non-distributive propositional logics

Hartonas, Chrysafis

Journal:

Logic Journal of IGPL

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

23

[IEEE IEEE International Conference on Robotics and Automation - Minneapolis, MN, USA (22-28 April 1996)] Proceedings of IEEE International Conference on Robotics and Automation - Deadlock prevention in flexible manufacturing systems using symbolic model checking

Hartonas-Garmhausen, V., Clarke, E.M., Campos, S.

Year:

1996

Language:

english

File:

PDF, 587 KB

english, 1996

24

Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics

Chrysafis Hartonas

Journal:

Year:

1997

Language:

english

File:

PDF, 4.69 MB

english, 1997

25

[ACM Press the 19th Panhellenic Conference - Athens, Greece (2015.10.01-2015.10.03)] Proceedings of the 19th Panhellenic Conference on Informatics - PCI '15 - Implementing the CROP reference architecture

Tsiakmaki, Maria, Hartonas, Chrysafis

Year:

2015

Language:

english

File:

PDF, 256 KB

english, 2015

26

Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework

Hartonas, Chrysafis

Journal:

Journal of Philosophical Logic

Year:

2016

Language:

english

File:

PDF, 7.48 MB

english, 2016

27

Stone duality for lattice expansions

Hartonas, Chrysafis

Journal:

Logic Journal of IGPL

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

28

Discrete duality for lattices with modal operators

Hartonas, Chrysafis

Journal:

Journal of Logic and Computation

Year:

2019

Language:

english

File:

PDF, 806 KB

english, 2019

29

Duality Results for (Co)Residuated Lattices

Hartonas, Chrysafis

Journal:

Logica Universalis

Year:

2019

Language:

english

File:

PDF, 717 KB

english, 2019

30

Representation of Lattices with Modal Operators in Two-Sorted Frames

Hartonas, Chrysafis, Orłowska, Ewa

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 361 KB

english, 2019

31

Modal translation of substructural logics

Hartonas, Chrysafis

Journal:

Journal of Applied Non-Classical Logics

Year:

2020

Language:

english

File:

PDF, 2.60 MB

english, 2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски